Petri Net based Approach to Test Bench Constructing for Datapath
نویسنده
چکیده
Abstract: Testing a data path in a digital system such as a microcontroller requires checking every possible way of sending data between the functional units. This paper considers a task of generating a test bench for a given data path, which covers every way of data sending with minimized number of simulations of microinstructions. We present a method in which a data path is modeled by a Petri net. The task of optimal test bench generation is formulated as a task of covering all transitions by a sequence with minimal length. It can be solved by finding certain T-invariant of the net and a firing sequence corresponding to it. The proposed method is illustrated by two case studies of testing data paths of simple processors.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملTime Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملAn Approach to Verification of Datapath Circuits
In order to easily verify timed asynchronous circuits including datapaths, this paper proposes an approach to verifying datapath circuits partially with a prescribed set of data values as well as some random values and verifying control circuits formally as usual. From the regularity of datapath circuits, this approach is expected to provide a good balance between the cost and quality of verifi...
متن کاملModeling of an interoperability test bench for the on-board system of a train control system based on Colored Petri Nets
The interoperability of train control systems is an essential feature for high-speed railways. It must be proven that the on-board system of the train control system has the ability to allow the safe and uninterrupted movement of each line, which accomplishes the specified performance. A third-party interoperability test bench should be built for the customer to test the interoperability of the...
متن کامل